# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /cvs/zport/sci-mathematics/spin/spin-4.2.7.ebuild,v 1.1.1.1 2006/11/22 16:05:34 zechs Exp $

inherit eutils

my_A="${PN}2smt09-i686-pc-linux-gnu-static-gmp.tgz"
DESCRIPTION="Yices - a SMT solver."
HOMEPAGE="http://yices.csl.sri.com/"
#SRC_URI="http://yices.csl.sri.com/cgi-bin/yices-newdownload.cgi?file=${PN}2smt09-i686-pc-linux-gnu-static-gmp.tgz&submit=I%20accept"
SRC_URI="${my_A}"

LICENSE="as-is"
SLOT="0"
KEYWORDS="x86 sparc"

DEPEND="( >=dev-libs/gmp-4.1.3 )"

RESTRICT="fetch"

pkg_nofetch() {
        einfo
        einfo " Due to license restrictions, we cannot fetch the"
        einfo " distributables automagically."
        einfo
        einfo " 1. Visit ${HOMEPAGE} and select 'Download'"
        einfo " 2. Download ${my_A}"
        einfo " 3. Move file to ${DISTDIR}"
        einfo " 4. Run emerge on this package again to complete"
        einfo
}


src_unpack() {
	unpack ${my_A}
}

src_install() {
	dodir /usr/bin

	exeinto /usr/bin
	doexe ${WORKDIR}/yices2smt09/bin/yices
}
